Rational Spaces and Set Constraints
نویسنده
چکیده
Set constraints are inclusions between expressions denoting sets of ground terms They have been used extensively in program analysis and type inference In this paper we investigate the topological structure of the spaces of solutions to systems of set constraints We identify a family of topological spaces called rational spaces which formalize the notion of a topological space with a regular or self similar structure such as the Cantor discontinuum or the space of runs of a nite automaton We develop the basic theory of rational spaces and derive generalizations and proofs from topological principles of some results in the literature on set constraints
منابع مشابه
Some Notes on Rational Spaces
Set constraints are inclusions between expressions denoting sets of ground terms over a finite ranked alphabet Σ. Rational spaces are topological spaces obtained as spaces of runs of topological Σhypergraphs. They were introduced by Kozen in [Koz95], where the topological structure of the spaces of solutions to systems of set constraints was given in terms of rational spaces. In this paper we c...
متن کاملRational Geraghty Contractive Mappings and Fixed Point Theorems in Ordered $b_2$-metric Spaces
In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...
متن کاملSome common fixed point theorems for four $(psi,varphi)$-weakly contractive mappings satisfying rational expressions in ordered partial metric spaces
The aim of this paper is to prove some common fixed point theorems for four mappings satisfying $(psi,varphi)$-weak contractions involving rational expressions in ordered partial metric spaces. Our results extend, generalize and improve some well-known results in the literature. Also, we give two examples to illustrate our results.
متن کاملFixed and coincidence points for hybrid rational Geraghty contractive mappings in ordered $b$-metric spaces
In this paper, we present some fixed and coincidence point theorems for hybrid rational Geraghty contractive mappings in partially ordered $b$-metric spaces. Also, we derive certain coincidence point results for such contractions. An illustrative example is provided here to highlight our findings.
متن کاملEnumeration of One-Nodal Rational Curves in Projective Spaces
We give a formula computing the number of one-nodal rational curves that pass through an appropriate collection of constraints in a complex projective space. The formula involves intersections of tautological classes on moduli spaces of stable rational maps. We combine the methods and results from three different papers.
متن کامل